Zariski density and computing with S-integral groups
نویسندگان
چکیده
We generalize our methodology for computing with Zariski dense subgroups of SL(n,Z) and Sp(n,Z), to accommodate input H SL(n,Q) Sp(n,Q). A key task, backgrounded by the Strong Approximation theorem, is a minimal congruence overgroup H. Once we have this overgroup, may describe all quotients The case n=2 receives particular attention.
منابع مشابه
Zariski density and computing in arithmetic groups
For n > 2, let Γn denote either SL(n,Z) or Sp(n,Z). We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group H ≤ Γn. This forms the main component of our methods for computing with such arithmetic groups H. More generally, we provide algorithms for computing with Zariski dense groups in Γn. We use our GAP implementation of the algori...
متن کاملLarge Galois groups with applications to Zariski density
We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this end we describe efficient algorithms to check if the Galois group of a polynomial p with integer coefficients is “generic” (which, for arbitrary polynomials ...
متن کاملCompleteness in Zariski Groups
Zariski groups are @0-stable groups with an axiomatically given Zariski topology and thus abstract generalizations of algebraic groups. A large part of algebraic geometry can be developed for Zariski groups. As a main result, any simple smooth Zariski group interprets an algebraically closed eld, hence is almost an algebraic group over an algebraically closed eld.
متن کاملZariski Theorems and Diagrams for Braid Groups
Empirical properties of generating systems for complex reflection groups and their braid groups have been observed by Orlik-Solomon and Broué-Malle-Rouquier, using Shephard-Todd classification. We give a general existence result for presentations of braid groups, which partially explains and generalizes the known empirical properties. Our approach is invariant-theoretic and does not use the cla...
متن کاملComputing S-Integral Points on Elliptic Curves
1. Introduction. By a famous theorem of Siegel [S], the number of integral points on an elliptic curve E over an algebraic number field K is finite. A conjecture of Lang and Demyanenko (see [L3], p. 140) states that, for a quasiminimal model of E over K, this number is bounded by a constant depending only on the rank of E over K and on K (see also [HSi], [Zi4]). This conjecture was proved by Si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2023
ISSN: ['1090-266X', '0021-8693']
DOI: https://doi.org/10.1016/j.jalgebra.2023.02.024